Efficient Arithmetic on Elliptic Curves in Characteristic 2

We present normal forms for elliptic curves over a field of characteristic 2 analogous to Edwards normal form, and determine bases of addition laws, which provide strikingly simple expressions for the group law. We deduce efficient algorithms for point addition and scalar multiplication on these forms. The resulting algorithms apply to any elliptic curve over a field of characteristic 2 with a 4-torsion point, via an isomorphism with one of the normal forms. We deduce algorithms for duplication in time 2M + 5S + 2mc and for addition of points in time 7M + 2S, where M is the cost of multiplication, S the cost of squaring, and mc the cost of multiplication by a constant. By a study of the Kummer curves K = E/{[±1]}, we develop an algorithm for scalar multiplication with point recovery which computes the multiple of a point P with 4M + 4S + 2mc + mt per bit where mt is multiplication by a constant that depends on P .